GUIDO PETRI

May 1st

Back to autoindex

Today's a holiday in Germany. It's labor day. Unfortunately, this also means everything is closed and there's nothing to do.

I kind of wish I had class at university so there would be something exciting in my day. As it is, I've spent most of the day just editing my flashcard decks in Anki and doing unimportant things.